$\forall$$T$:Type. null $\in$ \{0..0$^{-}$\}$\rightarrow$$T$